命題1

命題1

 同じ高さの下にある三角形と平行四辺形は、互いに対してそれらの底辺と比例する。

 ABCACDを三角形、CECFを高さが同じ平行四辺形とせよ。

 底辺CBは、底辺CDに対し、三角形ACBは三角形ACDに対し、また、平行四辺形CEは平行四辺形CFに対すると主張する。

 BDの両方向に点HLを作る。

 任意個の直線BGGHは底辺CBに等しく、任意個の直線DKKLCDに等しくなるように作る。propositionT.3

 AGAHAKALを結ぶ。

 そのとき、CBBGGHは互いに等しいので、三角形ACBABGAGHもまたそれぞれ等しい。propositionT.38

 それゆえに、底辺CHは底辺CBのどのような倍量でも、三角形ACHもまた三角形ACBの同じ倍量である。

 同じ理由で、底辺CLは底辺CDのどのような倍量でも、三角形ACLもまた三角形ACDの同じ倍量である。

 そして、もし、底辺CHが底辺CLに等しければ、三角形ACHもまた三角形ACLに等しく、もし、底辺CHが底辺CLの超過ならば、三角形ACHもまた三角形ACLの超過で、もし、小さければ小さい。propositionT.38

 このように、4つの量が、すなわち、2つの底辺CBCDと2つの三角形ACBACDがあって、底辺CBと三角形ACBの同倍量、つまり底辺CHと三角形ACHがとられ、底辺CDと三角形ADCの他の任意の同倍量、つまり底辺CLと三角形ACLがとられ、、もし、底辺CHが底辺CLの超過ならば、三角形ACHもまた三角形ACLの超過で、等しければ、等しく、小さければ小さいことは証明されている。それゆえ、底辺CBは底辺CDに対して、三角形ACBは三角形ACDに対する。definitionX.5

 次に、平行四辺形CEは三角形ACBの2倍で、平行四辺形FCは三角形ACDの2倍で、部分はそれらの同倍量と同じ比をもつので、それゆえに、三角形ACBは三角形ACDに対し、平行四辺形CEは平行四辺形FCに対する。propositionT.41definitionX.15

 また、底辺CBは底辺CDに対して、三角形ACBは三角形ACDに対する。

 また、三角形ACBは三角形ACDに対し、平行四辺形CEは平行四辺形FCに対することは証明されている。propositionX.11

 それゆえに、底辺CBは底辺CDに対して、平行四辺形CEは平行四辺形FCに対する。

 それゆえに、同じ高さの下にある三角形と平行四辺形は、互いに対してそれらの底辺と比例する。

証明終了

第6巻命題2へ  第6巻目次へ